$\forall$$a$, $b$:$\mathbb{B}$. ($a$ = $b$) $\Leftarrow\!\Rightarrow$ ($\uparrow$$a$ =b $b$)